конструктивная топология

См. также в других словарях:

• Математика — Евклид. Деталь «Афинской школы» Рафаэля Математика (от др. греч …   Википедия

• МАТЕМАТИЧЕСКАЯ ЛОГИКА — теоретическая логика, символическая логика, раздел математики, посвященный изучению математич. доказательств и вопросов оснований математики. Исторический очерк. Идея построения универсального языка для всей математики и формализации на базе… …   Математическая энциклопедия

• ГОСТ Р 54369-2011: Проектирование, изготовление и введение в эксплуатацию систем управления электрооборудованием для обеспечения технологического процесса судопропуска на вновь вводимых, реконструируемых и подлежащих капитальному ремонту судоходных шлюзах — Терминология ГОСТ Р 54369 2011: Проектирование, изготовление и введение в эксплуатацию систем управления электрооборудованием для обеспечения технологического процесса судопропуска на вновь вводимых, реконструируемых и подлежащих капитальному… …   Словарь-справочник терминов нормативно-технической документации

• Множеств теория —         учение об общих свойствах множеств, преимущественно бесконечных. Понятие множества, или совокупности, принадлежит к числу простейших математических понятий; оно не определяется, но может быть пояснено при помощи примеров. Так, можно… …   Большая советская энциклопедия

• Польша — (Polska)         Польская Народная Республика (Polska Rzeczpospolita Ludowa), ПНР.          I. Общие сведения          П. социалистическое государство в Центральной Европе, в бассейне рр. Висла и Одра, между Балтийским морем на С., Карпатами и… …   Большая советская энциклопедия

• ИНТЕРПРЕТАЦИЯ — (от лат. interpretatio истолкование, разъяснение) 1) общенаучный метод с фиксированными правилами перевода формальных символов и понятий на язык содержательного знания; 2) в гуманитарном знании истолкование текстов, смыслополагающая и… …   Философская энциклопедия

• Интуиционизм — Интуиционизм  система философских и математических идей и методов, связанных с пониманием математики как совокупности «интуитивно убедительных» умственных построений. С точки зрения интуиционизма, основным критерием истинности… …   Википедия

• Интуиционистская логика — Интуиционизм  система философских и математических идей и методов, связанных с пониманием математики как совокупности «интуитивно убедительных» умственных построений. С точки зрения интуиционизма, основным критерием истинности математического… …   Википедия